$\forall$$x$:$\mathbb{Z}$. {-}($x$) = ({-}$x$) $\in$ $\mathbb{Q}$